类型安全

Promptic

Promptic 是一款基于 Python 的轻量级 LLM 应用开发框架,提供类型安全的输出验证、流式响应支持、对话记忆管理及错误处理等特性。它通过集成 LiteLLM 和装饰器模式,帮助开发者快速构建稳定高效的 LLM 应用,同时支持多种主流 LLM 服务提供商的无缝切换。主要功能包括动态提示生成、响应验证、状态管理和工具函数代理构建,广泛应用于聊天机器人、内容生成、语言翻译、情感分析和数据摘

DeepSeek Engineer

DeepSeek Engineer 是一款基于命令行的 AI 编程辅助工具,集成 DeepSeek API 提供文件操作功能。它通过 Pydantic 实现类型安全,支持 JSON 格式输出,可读取、创建和编辑本地文件,适用于代码审查、文档生成、实时协作和自动化测试等多种应用场景。

PydanticAI

一个Pydantic 团队开发的Python代理框架,可以通过生成式AI轻松构建生产级应用程序。

HeroUI

一个基于Tailwind CSS的美观、快速且现代的React UI库,支持主题定制、明暗模式自动切换,基于 React Aria 实现高可访问性,提供类型安全的开发体验和多包结构。